home *** CD-ROM | disk | FTP | other *** search
/ Internet Surfer 2.0 / Internet Surfer 2.0 (Wayzata Technology) (1996).iso / pc / text / mac / faqs.358 < prev    next >
Text File  |  1996-02-12  |  29KB  |  579 lines
  1. Frequently Asked Questions (FAQS);faqs.358
  2.  
  3.  
  4.  
  5.    The CLOS code repository is available by anonymous ftp to
  6.    nervous.cis.ohio-state.edu [128.146.61.200] in the directory
  7.    pub/lispusers/clos/. If you've got code you'd like to add to the
  8.    repository, send mail to Arun Welch, commonloops-request@cis.ohio-state.edu.
  9.  
  10.    The Macintosh Common Lisp repository contains Lisp code for
  11.    MCL contributed by MCL users. It is available by anonymous ftp from
  12.    cambridge.apple.com:pub/MACL/CONTRIB       [134.149.2.3]
  13.    and also contains the Info-MCL mailing list archives.
  14.  
  15.    The CLIM Library (a library of CLIM code) is available on
  16.    cambridge.apple.com:/public/clim. For more information, contact
  17.    Vincent Keunen, keunen@nrb.be.
  18.  
  19.    MIT AI Lab -- ftp.ai.mit.edu:pub/
  20.       loop-macro.tar               [LOOP from CLtL1]
  21.       series/                      [SERIES from CLtL2]
  22.       Iterate/                     [Alternative to series and loop.]
  23.       clmath.tar                   [Numeric math 1984]
  24.       ontic/                       [ONTIC Knowledge Rep. for Mathematics]
  25.       xp/                          [Waters' XP Lisp Pretty Printer]
  26.  
  27.    The LispUsers Archives, a collection of programs for Medley, can be
  28.    found on nervous.cis.ohio-state.edu:pub/lispusers/medley. Also on
  29.    nervous.cis.ohio-state.edu is GTT, an implementation of Chandrasekaran's
  30.    Generic Tasks Toolset, in directory pub/lispusers/toolset.
  31.  
  32.    There's a repository of Amiga LISP implementations (and other Lisp-like
  33.    language implementations) on gatekeeper.pa.dec.com:pub/micro/amiga/lisp/.
  34.  
  35.    Common Lisp versions of the mini programs from "Inside Computer
  36.    Understanding" by Schank and Riesbeck, 1981, are available by
  37.    anonymous ftp from cs.umd.edu in the directory pub/schank/icu. This
  38.    includes the SAM and ELI miniatures. It will eventually include copies
  39.    of the miniature versions of PAM, POLITICS, and Tale-Spin. The FOR
  40.    macro is also available in this directory, as are a set of functions
  41.    for manipulating and matching lisp representations of Conceptual
  42.    Dependency formulas.  Contact Bill Andersen <waander@cs.umd.edu> for
  43.    more information. The directory pub/schank/icbr contains the complete
  44.    code for "Inside Case-Based Reasoning" by Riesbeck and Schank, 1989.
  45.    This includes code for an instructional version of CHEF by Kristian
  46.    Hammond.
  47.  
  48.    Norvig:
  49.    The software from Peter Norvig's book "Paradigms of AI Programming" is
  50.    available by anonymous ftp from unix.sri.com:pub/norvig and on disk in
  51.    Macintosh or DOS format from the publisher, Morgan Kaufmann.
  52.    |
  53.    Software includes Common Lisp implementations of:
  54.       Eliza and pattern matchers, Emycin, Othello, Parsers,
  55.       Scheme interpreters and compilers, Unification and a prolog
  56.       interpreter and compiler, Waltz line-labelling,
  57.       implementation of GPS, macsyma, and random number generators.
  58.    |
  59.    For more information, contact:
  60.            Morgan Kaufmann, Dept. P1, 2929 Campus Drive, Suite 260
  61.            San Mateo CA 94403, (800) 745-7323; FAX: (415) 578-0672
  62.          Mac          ISBN 1-55860-227-5
  63.          DOS 3.5"     ISBN 1-55860-228-3
  64.          DOS 5.25"    ISBN 1-55860-229-1
  65.  
  66.    A catalog of free and commercial natural language software
  67.    is available from the Natural Language Software Registry,
  68.    by anonymous ftp from tira.uchicago.edu [128.135.96.31] in
  69.    the directory /registry, or by email to registry@tira.uchicago.edu.
  70.  
  71.    TI Explorer Lisp Code -- sumex-aim.stanford.edu:pub/exp/
  72.    The Knowledge Systems Lab's set of Explorer patches and tools. It
  73.    includes in the jwz subdirectory a set of tools written and collected
  74.    by Jamie Zawinski. Send questions to acuff@sumex-aim.stanford.edu.
  75.  
  76. ----------------------------------------------------------------
  77. [6-2] Repositories of Scheme Software
  78.  
  79. There are several repositories of publicly redistributable and
  80. public domain Scheme code.
  81.  
  82.    The Scheme Repository contains a Scheme bibliography, copies of the
  83.    R4RS report and other papers, sample Scheme code for a variety of
  84.    purposes, several utilities, and some implementations. The Scheme code
  85.    includes code for calendar calculations, Earley parser, FORMAT for
  86.    Scheme, a scheme version of the Gabriel benchmarks, Marc Feeley's
  87.    minimal object support for Scheme, a Scheme pretty-printer, a Prolog
  88.    interpreter written in Scheme, a random number generator in Scheme, an
  89.    implementation of SCOOPS, code from Abelson and Sussman's SICP book,
  90.    Aubrey Jaffer's IEEE/R^3.99RS compliance test, and a LALR(1) parser.
  91.    The repository is maintained by Ozan S. Yigit, scheme@nexus.yorku.ca.
  92.    The repository is accessible by anonymous ftp at nexus.yorku.ca
  93.    [130.63.9.66] in the directory pub/scheme/.
  94.  
  95.    Scheme Implementations may also be found at altdorf.ai.mit.edu:/archive/
  96.    The R4RS report is available in altdorf.ai.mit.edu:/archive/scheme-reports/
  97.    or as MIT AI Memo 848b (email publications@ai.mit.edu for more information).
  98.    The altdorf archive includes SCOOPS, CL2Scheme, extend-syntax,
  99.    btree, Gabriel benchmarks, FORMAT for Scheme, etc.
  100.  
  101. ----------------------------------------------------------------
  102. [6-3] Publicly Redistributable Lisp Software
  103.  
  104. AI Algorithms and Tools:
  105.  
  106.    PAIL (Portable AI Lab) is a computing environment containing a
  107.    collection of state-of-the-art AI tools, examples, and documentation.
  108.    It is aimed at those involved in teaching AI courses at university
  109.    level or equivalent. The system has enough built-in functionality to
  110.    enable its users to get practical experience with a broad range of AI
  111.    problems without having to build all the supporting tools from
  112.    scratch. It is implemented in Common Lisp and uses CLOS and Allegro
  113.    Common Windows (i.e., in Allegro CL 4.1). It is available by anonymous
  114.    ftp from pobox.cscs.ch (148.187.10.13) in the directory /pub/ai/pail-2.1/.
  115.    Written by Mike Rosner and Dean Allemang {dean,mike}@idsia.ch.
  116.  
  117.    AI_ATTIC is an anonymous ftp collection of classic AI programs and
  118.    other information maintained by the University of Texas at Austin.  It
  119.    includes Parry, Adventure, Shrdlu, Doctor, Eliza, Animals, Trek, Zork,
  120.    Babbler, Jive, and some AI-related programming languages.  This
  121.    archive currently resides on the host ftp.cc.utexas.edu
  122.    (bongo.cc.utexas.edu, 128.83.186.13) in the directory /pub/AI_ATTIC.
  123.    For more information, contact atticmaster@bongo.cc.utexas.edu.
  124.  
  125.    The Automatic Memoization Facility adds a practical memoization
  126.    facility to Common Lisp. Automatic memoization is a technique by which
  127.    an existing function can be transformed into one that "remembers"
  128.    previous arguments and their associated results, yielding large
  129.    performance gains for certain types of applications.  This facility
  130.    extends the ideas from Norvig's book into what is needed for a
  131.    practical tool for us in large programs. It adds facilities for
  132.    bookkeeping and timing, and lets you evaluate of the timing advantages
  133.    of memoization, and save hash tables to disk for automatic reuse in
  134.    later sessions. The code is available by anonymous ftp from
  135.    archive.cs.umbc.edu:/pub/Memoization [130.85.100.53]. Contact Marty Hall
  136.    <hall@aplcenmp.apl.jhu.edu> for more information. The code includes an
  137.    overview of memoization and its applications.
  138.  
  139. Benchmarks:
  140.  
  141.    Gabriel Lisp Benchmarks are available by anonymous ftp as
  142.    ai.toronto.edu:/pub/gabriel-lisp-benchmarks.tar.Z.
  143.  
  144.    Lucid CL contains a set of benchmarks in its goodies/ directory,
  145.    including Bob Boyer's logic programming benchmark, a benchmark to
  146.    create and browse through an AI-like database of units, a CLOS speed
  147.    test, a compilation speed test, TAKR (the 100 function version of TAK
  148.    that tries to defeat cache memory effects), CTAK (A version of the
  149.    TAKeuchi function that uses the CATCH/THROW facility), STAK (A version
  150.    of the TAKeuchi function with special variables instead of parameter
  151.    passing), DERIV and DDERIV (Symbolic derivative benchmarks written by
  152.    Vaughn Pratt), DESTRU (a destructive operation benchmark), DIV2 (a
  153.    benchmark which divides by 2 using lists of n ()'s), the FFT benchmark
  154.    written by Harry Barrow, FPRINT (a benchmark to print to a file),
  155.    FRPOLY (a Franz Lisp benchmark by Fateman based on polynomial
  156.    arithmentic), Forest Baskett's PUZZLE benchmark (originally written in
  157.    Pascal), the TPRINT benchmark to read and print to the terminal, a
  158.    benchmark that creates and traverses a tree structure, and TRIANG
  159.    (board game benchmark). Some of the benchmarks may work only in Lucid.
  160.  
  161. Blackboard Architectures:
  162.  
  163.    The UMass GBB system (V1.2) is available by anonymous ftp from
  164.    dime.cs.umass.edu:/gbb. The commercial GBB product is not.
  165.    Work on the UMass GBB project (and funding) ended over 2 years ago.
  166.    Many researchers using it have opted for the commercial
  167.    release.  The UMass research system remains available, but the
  168.    two should not be confused as the commercial system is
  169.    substantially improved and extended. The commercial system is available
  170.    from Blackboard Technology Group, PO Box 44, 401 Main Street,
  171.    Amherst, Massachusetts 01002, 413-256-4240.
  172.  
  173. Case-based Reasoning:
  174.  
  175.    CL-Protos is a Common Lisp implementation of the case-based
  176.    reasoning system developed by E. Ray Bareiss and Bruce W.
  177.    Porter of the University of Texas/Austin AI Lab. It runs
  178.    on Sun3, TI Explorer, HP 9000, and Symbolics, and gobbles a
  179.    huge amount of memory. Common Lisp implementation by
  180.    Rita Duran, Dan Dvorak, Jim Kroger, Hilel Swerdlin, and Ben Tso.
  181.    For more information, bug reports, or comments, contact
  182.    either Dan Dvorak <dvorak@cs.utexas.edu> or Ray Bareiss
  183.    <bareiss@ils.nwu.edu> or Erik Eilerts <eilerts@cs.utexas.edu>
  184.    Available by anonymous ftp from cs.utexas.edu:/pub/porter
  185.  
  186. Databases:
  187.  
  188.    Postgres is an object-oriented database, and is available
  189.    from postgres.berkeley.edu:/pub/postgres*
  190.    It runs on DecStation 3100s, Sun3 (SunOs), Sun4 (Sparc),
  191.    and Sequent Symmetry.
  192.  
  193. Eliza and Similar Programs:
  194.  
  195.    See Peter Norvig's book (question [6-1] above).
  196.  
  197.    The doctor.el is an implementation of Eliza for
  198.    GNU-Emacs emacs-lisp. Invoke it with "Meta-X doctor"
  199.  
  200.    Source code for ELIZA in Prolog (implemented by Viren
  201.    Patel) is available by ftp from aisun1.ai.uga.edu.
  202.  
  203.    muLISP-87 (a MSDOS Lisp sold by Soft Warehouse) includes
  204.    a Lisp implementation of Eliza.
  205.  
  206.    Compute!'s Gazette, June 1984, includes source for a
  207.    BASIC implementation of Eliza. You can also find it
  208.    in 101 more computer games, edited by David Ahl,
  209.    published by Creative Computing (alas, they're defunct,
  210.    and the book is out of print).
  211.  
  212.    Herbert Schildt "Artificial Intelligence using C",
  213.    McGraw-Hill, 1987, ISBN 0-07-881255-0, pp315-338,
  214.    includes a simple version of DOCTOR.
  215.  
  216.    ucsd.edu:pub/pc-ai contains implementations of Eliza
  217.    for the IBM PC.
  218.  
  219.    The original Parry (in MLISP for a PDP-10) is available in
  220.    labrea.stanford.edu:/pub/parry.tar.Z.
  221.  
  222.    RACTER is *not* public domain. According to A.K. Dewdney's book,
  223.    "The Armchair Universe", Racter is available from John Owens,
  224.    INRAC, Inc., 12 Schubert St., Staten Island, NY 10305. It was
  225.    published in 1984, and written in compiled BASIC.
  226.  
  227. Expert Systems:
  228.  
  229.    FOCL is an expert system shell and machine learning program written in
  230.    Common Lisp. The machine learning program extends Quinlan's FOIL
  231.    program by containing a compatible explanation-based learning
  232.    component.  FOCL learns Horn Clause programs from examples and
  233.    (optionally) background knowledge. The expert system includes a
  234.    backward-chaining rule interpreter and a graphical interface to the
  235.    rule and fact base. For details on FOCL, see: Pazzani, M. and Kibler,
  236.    D., "The role of prior knowledge in inductive learning", Machine
  237.    Learning 9:54-97, 1992. It is available by anonymous ftp from
  238.    ics.uci.edu as a (binhexed, compacted) Macintosh application,
  239.    pub/SaranWrap/KR-FOCL-ES.cpt.hqx, or as Common Lisp source code (see
  240.    pub/SaranWrap/README for details). If you use a copy of FOCL, or have
  241.    any comments or questions, send mail to pazzani@ics.uci.edu.
  242.  
  243.    BABYLON is a development environment for expert systems. It
  244.    includes frames, constraints, a prolog-like logic formalism, and a
  245.    description language for diagnostic applications. It is implemented in
  246.    Common Lisp and has been ported to a wide range of hardware platforms.
  247.    Available by anonymous ftp from gmdzi.gmd.de:gmd/ai-research/Software/
  248.    (129.26.8.90) as a BinHexed stuffit archive, on the Apple CD-ROM, or
  249.    with the book "The AI Workbench BABYLON", which contains *full source
  250.    code* of BABYLON and the stand-alone version for the Mac. The book
  251.    describes the use of BABYLON in detail.
  252.  
  253.    OPS5 -- See Lisp Utilities Repository in question [6-1].
  254.  
  255. Frame Languages:
  256.  
  257.    FrameWork is available in the Lisp Utilities Repository described above.
  258.  
  259.    THEO (learning frame system) is available free from CMU, after
  260.    signing a license agreement. Send mail to Tom.Mitchell@cs.cmu.edu.
  261.  
  262.    FrameKit is available free from CMU, after signing a
  263.    license agreement. Send mail to Eric.Nyberg@cs.cmu.edu
  264.  
  265.    KR. Send mail to Brad.Myers@cs.cmu.edu for more info.
  266.  
  267.    PARKA. Frames for the CM. Contact spector@cs.umd.edu.
  268.         
  269.    PARMENIDES (Frulekit) is available free, after signing
  270.    a license agreement. Send mail to peter.shell@cs.cmu.edu
  271.  
  272.    FROBS is available free by anonymous ftp from
  273.    cs.utah.edu:/pub/frobs.tar.Z
  274.    Contact Robert Kessler <kessler@cs.utah.edu> for more info.
  275.  
  276.    PFC is a simple frame system written by Tim Finin
  277.    available free by anonymous ftp from linc.cis.upenn.edu.
  278.  
  279.    YAK is a hybrid knowledge-representation system of the
  280.    KL-ONE family. Includes an optional graphical interface
  281.    depending on the Lisp. Available free after signing a license
  282.    agreement. Contact Enrico Franconi <franconi@irst.it>.
  283.  
  284. Genetic Algorithms:
  285.  
  286.    GECO (Genetic Evolution through Combination of Objects) is a
  287.    genetic algorithm shell written by George Williams,
  288.    <george@hsvaic.boeing.com>. It is available by anonymous ftp
  289.    from cambridge.apple.com:/pub/mcl2/contrib/ as the following
  290.    files:
  291.       GECO-v1.0.cpt.hqx       binhex'd Compact Pro archive
  292.       GECO-v1.0.tar.Z         compressed tar file for Unix machines (no MCL
  293.                               fonts)
  294.       GECO.abstract           a brief description
  295.    It runs in MCL 2.0, but should be portable among CLtL2 compliant
  296.    Common Lisps.
  297.  
  298.    GAL is a genetic algorithm suite written by Bill Spears of NRL. The
  299.    MCL2.0 port was done by Howard Oakley <howard@quercus.demon.co.uk> and
  300.    is available from cambridge.apple.com:/pub/MCL2/contrib as
  301.    GAL.sea.hqx.  Improvements and adaptations should be sent to Bill
  302.    Spears, but questions on the MCL port should be directed to Howard Oakley.
  303.  
  304. Knowledge Representation:
  305.  
  306.    KNOWBEL is an implementation of Telos (a sorted/temporal logic
  307.    system) by Bryan M. Kramer, <kramer@ai.toronto.edu>. It is
  308.    available by anonymous ftp from ai.toronto.edu:/pub/kr/ as the
  309.    files knowbel.tar.Z and manual.txt.tar.Z
  310.    Runs in Allegro CL on Sparcstations and Silicon Graphics 4d
  311.    and in MCL on Apple Macintoshes.
  312.  
  313.    SNePS is a semantic net implementation, available free after
  314.    signing a license agreement. Contact shapiro@cs.buffalo.edu
  315.    for more information.
  316.  
  317.    COLAB (COmpilation LABoratory) is a hybrid knowledge representation
  318.    system emphasizing the horizontal and vertical compilation of
  319.    knowledge bases. It is comprised of cooperating subsystems -- CONTAX,
  320.    FORWARD, RELFUN and TAXON -- which deal with different knowledge
  321.    representation and reasoning formalisms. Each subsystem can also be
  322.    used as stand-alone system. CONTAX deals with constraint nets and
  323.    constraint-propagation techniques. Relational knowledge in the form of
  324.    Horn rules is processed by forward (FORWARD) and backward (RELFUN)
  325.    chaining. Taxonomic knowledge is represented by intensional concept
  326.    definitions which are automatically arranged in a subsumption
  327.    hierarchy (TAXON).  The COLAB software was developed at DFKI and the
  328.    University of Kaiserslautern and runs in Common Lisp. (The subsystems
  329.    have been tested in AKCL and Lucid CL, and possibly also Allegro CL
  330.    and Symbolics CL.) All the subsystems are available free of charge for
  331.    research purposes.
  332.    o  RELFUN is a logic-programming language with call-by-value (eager),
  333.       non-deterministic, non-ground functions, and higher-order operations.
  334.       It accepts freely interchangeable LISP-style and PROLOG-style syntaxes.
  335.       For sources to RELFUN and copies of relevant papers, contact
  336.       Dr. Harold Boley, DFKI, Postfach 2080, W-6750 Kaiserslautern, Germany,
  337.       call +49-631-205-3459, fax +49-631-205-3210, or send email to
  338.       boley@informatik.uni-kl.de.
  339.    o  TAXON is a terminological knowledge representation system extended by
  340.       concrete domains.  For sources to TAXON and copies of relevant papers,
  341.       contact Philipp Hanschke, DFKI, Postfach 2080, W-6750 Kaiserslautern,
  342.       Germany, call +49-631-205-3460, fax +49-631-205-3210, or send email to
  343.       hanschke@dfki.uni-kl.de.
  344.    o  CONTAX is a constraint system for weighted constraints over
  345.       hierarchically structured finite domains. CONTAX uses CLOS in addition
  346.       to Common Lisp.  For sources to CONTAX and copies of relevant papers,
  347.       contact Manfred Meyer, DFKI, Postfach 2080, W-6750 Kaiserslautern,
  348.       Germany, call +49-631-205-3468, fax +49-631-205-3210, or send email to
  349.       meyer@dfki.uni-kl.de.
  350.    o  FORWARD is a logic programming language with bottom-up and top-down
  351.       evaluation of Horn clauses. For sources to FORWARD and copies of
  352.       relevant papers, contact Knut Hinkelmann, DFKI, Postfach 2080, W-6750
  353.       Kaiserslautern, Germany, call +49-631-205-3467, fax +49-631-205-3210,
  354.       or send email to hinkelma@dfki.uni-kl.de.
  355.  
  356. Languages:
  357.  
  358.    GLisp -- apple.com:/pub/dts/mac/lisp/glisp.tar.Z
  359.    See also ftp.apple.com
  360.  
  361.    StarLisp Simulator -- think.com:/cm/starlisp/starsim-f19-sharfile
  362.    Simulates *Lisp, one of the programming langauges used to program
  363.    the Connection Machine. Runs under Symbolics, Lucid, Allegro, and Franz.
  364.  
  365.    InterLisp->Common-Lisp Translator -- ai.sri.com:pub/pkarp/lisp/ilisp/
  366.    Other InterLisp to Common Lisp translators may be found in the LispUsers
  367.    archive listed above.
  368.  
  369.    The Yale Haskell system runs in CMU Common Lisp, Lucid CL, and AKCL.
  370.    It is available by anonymous ftp from
  371.         Chalmers animal.cs.chalmers.se  129.16.225.66
  372.         Glasgow  ftp.dcs.glasgow.ac.uk  130.209.240.50
  373.         Yale     nebula.cs.yale.edu     128.36.13.1
  374.    in the directory pub/haskell/yale as the files
  375.         haskell-beta-2-source.tar.Z   -- full sources
  376.         haskell-beta-2-sparc.tar.Z    -- sparc executable
  377.  
  378. Machine Learning:
  379.  
  380.    ID3. A Lisp implementation of ID3 and other machine learning
  381.    algorithms are available by anonymous ftp from the machine learning
  382.    group at the University of Texas as cs.utexas.edu:pub/mooney
  383.  
  384.    COBWEB/3 is a concept formation system available free after
  385.    signing a license agreement. Contact cobweb@ptolemy.arc.nasa.gov
  386.    for more information.
  387.  
  388. Mathematics:
  389.  
  390.    LMath -- peoplesparc.berkeley.edu:pub/mma.tar.Z       [128.32.131.14]
  391.    A Mathematica-style parser written in Common Lisp. Written by Richard
  392.    Fateman; fateman@renoir.Berkeley.EDU. Runs in any valid Common Lisp.
  393.  
  394.    rascal.ics.utexas.edu:/pub/             128.83.138.20
  395.       Maxima for Common Lisp (License required from National
  396.       Energy Software Center at Argonne.) Ported by Bill Schelter.
  397.  
  398.    JACAL: Implicit representation and mathematics. Contact
  399.    jaffer@altdorf.ai.mit.edu for more information.
  400.  
  401. Medical Reasoning:
  402.  
  403.    TMYCIN -- sumex-aix.stanford.edu:/tmycin  The TMYCIN rule based system.
  404.  
  405. Object-Oriented Programming:
  406.  
  407.    PCL -- parcftp.xerox.com:pcl/ [13.1.64.94]
  408.    Portable Common Loops (PCL) is a portable implementation of
  409.    the Common Lisp Object System (CLOS).
  410.  
  411.    CLOS-on-KEE -- zaphod.lanl.gov:/pub/
  412.    A subset of CLOS that is implemented on top of KEE. Contact
  413.    egdorf%zaphod@LANL.GOV (Skip Egdorf) for more info.
  414.  
  415.    MCS (Meta Class System) -- ftp.gmd.de:/pub/lisp/mcs/ [129.26.8.90]
  416.    Portable object-oriented extension to Common Lisp. Integrates the
  417.    functionality of CLOS (the Common Lisp Object System), and TELOS, (the
  418.    object system of LeLisp Version 16 and EULISP).  MCS provides a metaobject
  419.    protocol which the user can specialize.  MCS is claimed to be more
  420.    efficient in time and space than comparable systems we know, including
  421.    commercial CLOS implementations. Runs in any valid Common Lisp.
  422.    Contact: Harry Bretthauer and Juergen Kopp, German National Research
  423.    Center for Computer Science (GMD), Expert System Research Group,
  424.    P.O. Box 1316, D-5205 Sankt Augustin 1, FRG, email: kopp@gmdzi.gmd.de
  425.  
  426. Probabilistic Reasoning and Statistics:
  427.  
  428.    BELIEF is a Common Lisp implementation of the Dempster and Kong fusion
  429.    and propagation algorithm for Graphical Belief Function Models and the
  430.    Lauritzen and Spiegelhalter algorithm for Graphical Probabilistic
  431.    Models. It includes code for manipulating graphical belief models such
  432.    as Bayes Nets and Relevance Diagrams (a subset of Influence Diagrams)
  433.    using both belief functions and probabilities as basic representations
  434.    of uncertainty. It is available by anonymous ftp from
  435.    ftp.stat.washington.edu (128.95.17.34), and by email from the author,
  436.    Russell Almond <almond@stat.washington.edu>. Contact the author at
  437.    almond@statsci.com for information about a commercial version
  438.    GRAPHICAL-BELIEF currently in the prototype stages.
  439.  
  440.    XSTAT is a statistics package which runs in XLISP. It has recently been
  441.    ported to Common Lisp, and is available as
  442.       umnstat.stat.umn.edu:/pub/xlispstat/CL/CLS1.0A1.tar.Z
  443.    The CL port does not yet include the lisp-stat dynamic graphics
  444.    package, only the numerics. The XLisp version is available from
  445.    the above site and several mirror sites, such as mac.archive.umich.edu.
  446.  
  447. Planning:
  448.  
  449.    NONLIN -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  450.    Common Lisp implementation of the NONLIN planning system originally
  451.    designed and implemented by Austin Tate. Bugs can be reported to
  452.    nonlin-bugs@cs.umd.edu. User's group is nonlin-users@cs.umd.edu.
  453.    The authors request that anybody ftping the code send a message to
  454.    nonlin-users-request@cs.umd.edu, letting them know you have a copy
  455.    and also letting them know if you wish to subscribe to the users group.
  456.    More information can also be obtained from Jim Hendler, hendler@cs.umd.edu.
  457.  
  458.    A Common Lisp implementation of ABTWEAK, a hierarchical nonlinear
  459.    planner extending David Chapman's (MIT) TWEAK, may be obtained by
  460.    anonymous ftp from csis.dit.csiro.au in the directory pub/steve. A
  461.    user's manual, a copy of the associated masters thesis by Steve
  462.    Woods, and an extended Journal paper are also contained in that
  463.    directory. Send mail to Steven.Woods@csis.dit.csiro.au for more
  464.    information.
  465.  
  466.    RHETORICAL is a planning and knowledge tool available by
  467.    anonymous ftp from cs.rochester.edu:/pub/knowledge-tools
  468.    in the files rhet-19-40.tar.Z and cl-lib-3-11.tar.Z. The files
  469.    tempos-3-6.tar.Z and timelogic-5-0.tar.Z add James Allen's
  470.    interval logic to Rhet. It runs on Symbolics Genera and
  471.    Allegro Common Lisp. Written by Brad Miller <miller@cs.rochester.edu>.
  472.  
  473.    PRODIGY is an integrated planning and learning system,
  474.    available free after signing a license agreement. Contact
  475.    prodigy@cs.cmu.edu for more information.
  476.  
  477.    SOAR is an integrated intelligent agent architecture currently
  478.    being developed at Carnegie Mellon University, the University of
  479.    Michigan, and the Information Sciences Institute of the University of
  480.    Southern California. SOAR, and its companion systems, CParaOPS5 and
  481.    TAQL, have been placed in the public domain. The system may be
  482.    retrieved by anonymous ftp to ftp.cs.cmu.edu (or any other CMU CS
  483.    machine) in the directory /afs/cs.cmu.edu/project/soar/5.2/2/public/.
  484.    [Note: You must cd to this directory in one atomic operation, as
  485.    superior directories may be protected during an anonymous ftp.]  For
  486.    more information, send email to soar-request@cs.cmu.edu or write to
  487.    The Soar Group, School of Computer Science, Carnegie Mellon
  488.    University, Pittsburgh, PA 15213.  Finally, though the software is in
  489.    the public domain, the manual remains under copyright. To obtain one
  490.    (at no charge) send a request (including your physical mail address)
  491.    to soar-doc@cs.cmu.edu or to the physical address above.
  492.  
  493.    SNLP is a domain independent systematic nonlinear planner,
  494.    available by anonymous ftp from cs.washington.edu:/pub/snlp.tar.Z
  495.    Contact weld@cs.washington.edu for more information.
  496.  
  497.    IDM is a Common Lisp implementation of both a classical and extended
  498.    version of the STRIPS planner. It is available by anonymous ftp from
  499.    sauquoit.gsfc.nasa.gov (128.183.101.29). Questions, comments and bug
  500.    reports may be sent to idm-users@chelmsford.gsfc.nasa.gov.
  501.  
  502. Planning Testbeds:
  503.  
  504.    TILEWORLD is a planning testbed/simulator developed at SRI
  505.    International by Martha Pollack, Michael Frank and Marc
  506.    Ringuette. TILEWORLD originally ran under Lucid CL, but was
  507.    later extended and ported to Allegro CL by Badr H. Al-Badr
  508.    and Steve Hanks. The new tileworld is available by anonymous
  509.    ftp from cs.washington.edu as the file new-tileworld.tar.Z
  510.    It includes an X interface. Contact pollack@cs.pitt.edu for more
  511.    information.
  512.  
  513.    TRUCKWORLD is a simulated world intended to provide a
  514.    testbed for AI planning programs, where the planning agent
  515.    is a truck that roams around the simulated world. It is
  516.    available by anonymous ftp from cs.washington.edu in the
  517.    file simulator.tar.Z. It includes an X interface. Contact
  518.    Steve Hanks <hanks@cs.washington.edu> for more information.
  519.  
  520.    ARS MAGNA is a simulated world intended for use as a testbed for
  521.    planning and mapping programs.  The simulated agent is a robot in an
  522.    indoors environment.  High-level sensing and action are provided,
  523.    realistically modelled on current vision and robotics research.  It is
  524.    written in Nisp, a macro package running on top of Common Lisp.  It is
  525.    available by anonymous ftp from dept.cs.yale.edu in pub/nisp as file
  526.    ars-magna.tar.Z.  It includes an X display.  Contact Sean Engelson
  527.    <engelson@cs.yale.edu> for more information.
  528.  
  529. Qualitative Reasoning:
  530.  
  531.    QSIM is a qualitative reasoning system implemented in Common
  532.    Lisp. It is available by anonymous ftp from cs.utexas.edu:/pub/qsim
  533.    Contact Ben Kuipers <kuipers@cs.utexas.edu> for more information.
  534.  
  535. Theorem Proving:
  536.  
  537.    MVL (Multi-Valued Logic) is a theorem proving system written
  538.    in Common Lisp, and is available from t.stanford.edu:/mvl/mvl.tar.Z
  539.    A user's manual may be found in /mvl/manual.tex. Send mail
  540.    to ginsberg@t.stanford.edu.
  541.  
  542.    Boyer-Moore
  543.    cli.com:pub/nqthm/nqthm.tar.Z   Contact: kaufman@cli.com
  544.    rascal.ics.utexas.edu:/pub/             128.83.138.20
  545.       nqthm/               Boyer and Moore's theorem prover.
  546.                            Also available from cli.com:/pub/nqthm.
  547.       proof-checker/       Matt Kaufmann's proof checking
  548.                            enhancements to nqthm.
  549.    The mailing list nqthm-users-request@cli.com is for users of the
  550.    Boyer-Moore theorem-prover, NQTHM.
  551.  
  552. Virtual Reality:
  553.  
  554.    VEOS (Virtual Environment Operating Shell) is an extendible environment
  555.    for prototyping distributed applications for Unix. The programmer's
  556.    interface uses XLISP 2.1. Although intended for distributed
  557.    Virtual Reality applications at The Human Interface Technology Lab
  558.    in Seattle, it should be appropriate for other applications.  VEOS
  559.    uses heavyweight sequential processes, corresponding roughly to
  560.    unix processes. VEOS runs on DEC/5000, Sun4, and Silicon Graphics
  561.    VGX and Indigo. VEOS is available by anonymous ftp from
  562.    milton.u.washington.edu (128.95.136.1) in the directory ~ftp/public/veos
  563.    as veos.tar.Z. If you use the software, the authors ask that you send
  564.    them mail to veos-support@hitl.washington.edu.
  565.  
  566. Vision:
  567.  
  568.    OBVIUS -- whitechapel.media.mit.edu:/obvius/ [18.85.0.125]
  569.    Object-Based Vision and Image Understanding System (OBVIUS), is a Common
  570.    Lisp image processing package. Provides a library of image processing
  571.    routines (e.g., convolutions, fourier transforms, statistical
  572.    computations, etc.) on gray or binary images and image-sequences (no
  573.    color support yet), an X windows display interface, postscript printer
  574.    output, etc.  It uses a homebrew interface to X11 (i.e., it does not use
  575.    clx or clue). However, they eventually hope to port Obvius to a clx/clue
  576.    platform. Written by David Heeger <heeger@white.stanford.edu> and Eero
  577.    Simoncelli <eero@whitechapel.media.mit.edu>. Runs in Lucid-4.0. Includes
  578.    LaTeX documentation and User's Guide.
  579.